SherbyNet - /page/wikibook/entry.mu

Micron Document

<!DOCTYPE html>

<title>Propriétés ACID</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Propriétés ACID</span></h1>

</header>

</div>

<p>En <a href="Informatique" title="Informatique">informatique</a>, les <b>propriétés ACID</b> (<a href="Atomicit%C3%A9_(informatique)" title="Atomicité (informatique)">atomicité</a>, <a href="Coh%C3%A9rence_(donn%C3%A9es)" title="Cohérence (données)">cohérence</a>, <a href="Isolation_(informatique)" title="Isolation (informatique)">isolation</a> et <a href="Durabilit%C3%A9_(informatique)" title="Durabilité (informatique)">durabilité</a>) sont un ensemble de propriétés qui garantissent qu'une <a href="Transaction_informatique" title="Transaction informatique">transaction informatique</a> est exécutée de façon fiable.

</p><p>Dans le domaine des <a href="Bases_de_donn%C3%A9es" class="mw-redirect" title="Bases de données">bases de données</a>, une opération sur les données est appelée une transaction ou transaction informatique. Par exemple, un transfert de fonds d'un compte de banque à un autre, même s'il implique plusieurs actions comme le débit d'un compte et le <a href="Cr%C3%A9dit" title="Crédit">crédit</a> d'un autre, est une seule transaction.

</p><p><a href="James_Gray_(informaticien)" title="James Gray (informaticien)">Jim Gray</a> a défini les propriétés qui garantissent des transactions fiables à la fin des années 1970 et a développé des technologies pour les mettre en œuvre automatiquement<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup>.

</p><p>En 1983, Andreas Reuter et Theo Härder ont créé l'<a href="Acronyme" class="mw-redirect" title="Acronyme">acronyme</a> <i>ACID</i> pour désigner ces propriétés<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup>.

</p><p>Il faut noter qu'il existe des modèles de bases de données qui s'écartent des propriétés ACID, pour répondre à d'autres priorités comme la gestion de <a href="Big_Data" class="mw-redirect" title="Big Data">données massives</a> et distribuées pour les usages du <a href="Big_Data" class="mw-redirect" title="Big Data">Big Data</a> notamment par les géants d'<a href="Internet" title="Internet">Internet</a> : ce sont les bases <a href="NoSQL" title="NoSQL">NoSQL</a>.

</p>

<div class="mw-heading mw-heading2"><h2 id="Propriétés"><span id="Propri.C3.A9t.C3.A9s"></span>Propriétés</h2></div>

<p>Les caractéristiques de ces quatre propriétés telles que définies par Reuter et Härder sont les suivantes :

</p>

<div class="mw-heading mw-heading3"><h3 id="Atomicité"><span id="Atomicit.C3.A9"></span>Atomicité</h3></div>

<p>Les transactions sont souvent composées de plusieurs instructions. L'<a href="Atomicit%C3%A9_(informatique)" title="Atomicité (informatique)">atomicité</a> garantit que chaque transaction est traitée comme une seule "unité", qui réussit complètement ou échoue complètement : si l'une des déclarations constituant une transaction échoue, la transaction entière échoue et la base de données reste inchangée. Un système atomique doit garantir l'atomicité dans toutes les situations, y compris les pannes de courant, les erreurs et les crashs<sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup>. Une garantie d'atomicité empêche que les mises à jour de la base de données ne se produisent que partiellement, ce qui peut causer des problèmes plus importants que le rejet pur et simple de toute la série. En conséquence, la transaction ne peut pas être observée comme étant en cours par un autre client de la base de données. À un moment donné, elle n'a pas encore eu lieu, et au moment suivant, elle s'est déjà produite en totalité (ou rien ne s'est produit si la transaction a été annulée en cours).

</p>

<div class="mw-heading mw-heading3"><h3 id="Cohérence"><span id="Coh.C3.A9rence"></span>Cohérence</h3></div>

<p>La cohérence garantit qu'une transaction ne peut faire passer la base de données que d'un état cohérent à un autre, en préservant les invariants de la base de données : toute donnée écrite dans la base de données doit être valide selon toutes les règles définies, y compris les <a href="Contrainte_d'int%C3%A9grit%C3%A9" title="Contrainte d'intégrité">contraintes</a>, les <a href="Rollback_(base_de_donn%C3%A9es)" title="Rollback (base de données)">rollbacks</a>, les <a href="D%C3%A9clencheurs" class="mw-redirect" title="Déclencheurs">déclencheurs</a> et toute combinaison de ceux-ci. Cela empêche la corruption de la base de données par une transaction illégale. L'intégrité référentielle garantit la relation clé primaire-clé étrangère<sup id="cite_ref-4" class="reference"><a href="#cite_note-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup>.

</p>

<div class="mw-heading mw-heading3"><h3 id="Isolation">Isolation</h3></div>

<p>Les transactions sont souvent exécutées simultanément (par exemple, plusieurs transactions lisant et écrivant dans une table en même temps). L'isolation garantit que l'exécution simultanée des transactions laisse la base de données dans le même état que celui qui aurait été obtenu si les transactions avaient été exécutées séquentiellement. L'isolation est le principal objectif du contrôle de la concurrence ; selon le niveau d'isolation utilisé, les effets d'une transaction incomplète peuvent ne pas être visibles pour les autres transactions<sup id="cite_ref-5" class="reference"><a href="#cite_note-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup>.

</p>

<div class="mw-heading mw-heading3"><h3 id="Durabilité"><span id="Durabilit.C3.A9"></span>Durabilité</h3></div>

<p>La <a href="Durabilit%C3%A9_(informatique)" title="Durabilité (informatique)">durabilité</a> garantit qu'une fois qu'une transaction a été validée, elle le restera même en cas de défaillance du système (par exemple, une panne de courant ou un <a href="Plantage" title="Plantage">crash</a>). Cela signifie généralement que les transactions terminées (ou leurs effets) sont enregistrées dans une <a href="M%C3%A9moire_non_volatile" title="Mémoire non volatile">mémoire non volatile</a>.

</p>

<div class="mw-heading mw-heading2"><h2 id="Illustration_des_propriétés"><span id="Illustration_des_propri.C3.A9t.C3.A9s"></span>Illustration des propriétés</h2></div>

<p>Les sections suivantes expliquent les propriétés ACID en décrivant un exemple d'échec inacceptable pour chacune des propriétés.

</p><p>Dans ces exemples, une base de données contient deux champs A et B dans deux enregistrements. Une contrainte d'intégrité stipule que la somme de A et B doit toujours être 100. L'énoncé SQL suivant décrit cette contrainte :

</p>

<div class="mw-highlight mw-highlight-lang-sql mw-content-ltr" dir="ltr"><pre><span></span><span class="k">CREATE</span><span class="w"> </span><span class="k">TABLE</span><span class="w"> </span><span class="n">acidtest</span><span class="w"> </span><span class="p">(</span><span class="n">A</span><span class="w"> </span><span class="nb">INTEGER</span><span class="p">,</span><span class="w"> </span><span class="n">B</span><span class="w"> </span><span class="nb">INTEGER</span><span class="w"> </span><span class="k">CHECK</span><span class="w"> </span><span class="p">(</span><span class="n">A</span><span class="w"> </span><span class="o">+</span><span class="w"> </span><span class="n">B</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="mi">100</span><span class="p">));</span>

</pre></div>

<div class="mw-heading mw-heading3"><h3 id="Échec_d'atomicité"><span id=".C3.89chec_d.27atomicit.C3.A9"></span>Échec d'atomicité</h3></div>

<p>Supposons qu'une transaction tente de soustraire 10 à A et d'ajouter 10 à B. C'est une transaction valide étant donné que la somme de A et B est 100 après la transaction. Si, après avoir soustrait 10 à A, la transaction est interrompue par un problème quelconque sans pouvoir ajouter 10 à B, alors la propriété d'atomicité serait violée si la base de données restait dans cet état. Pour que la propriété d'atomicité soit respectée, il faut que la transaction se complète ou qu'elle ne se fasse pas du tout. Dans le cas présent, il faut que A soit remis dans son état initial pour que l'atomicité soit respectée.

</p>

<div class="mw-heading mw-heading3"><h3 id="Échec_de_cohérence"><span id=".C3.89chec_de_coh.C3.A9rence"></span>Échec de cohérence</h3></div>

<p>La cohérence est le respect de toutes les règles spécifiées dans les <a href="Contraintes_d'int%C3%A9grit%C3%A9" class="mw-redirect" title="Contraintes d'intégrité">contraintes d'intégrité</a>. Dans notre exemple, la seule règle est que la somme de A et B doit être 100. Il pourrait y avoir d'autres règles, par exemple, une règle pourrait spécifier que la valeur de A doit être plus grande que 5.

</p><p>Supposons qu'une transaction T1 tente de soustraire 10 de A sans modifier B. Comme la cohérence a été vérifiée après la transaction qui a précédé la transaction T1, nous savons que la somme de A et B est égale à 100 avant la transaction T1. Si la transaction T1 s'exécute jusqu'au bout, elle retranchera 10 de A et l'atomicité sera respectée. Par contre, une validation de cohérence montrera que la somme de A et B est égale à 90 et non à 100. Comme la cohérence n'est pas respectée, la transaction sera annulée et la valeur de A sera augmentée de 10 pour reprendre la valeur qu'elle avait avant la transaction T1.

</p>

<div class="mw-heading mw-heading3"><h3 id="Échec_d'isolation"><span id=".C3.89chec_d.27isolation"></span>Échec d'isolation</h3></div>

<p>Supposons les deux transactions suivantes : T1 transfère 10 de A à B, T2 transfère 5 de B à A. Si les transactions s'exécutent en séquence, nous avons les actions suivantes :

</p>

<ul><li>première partie de la transaction T1 : A est réduit de 10 ;</li>

<li>seconde partie de la transaction T1 : B est augmenté de 10 ;</li>

<li>première partie de la transaction T2 : B est réduit de 5 ;</li>

<li>seconde partie de la transaction T2 : A est augmenté de 5.</li></ul>

<p>Si les quatre opérations sont exécutées dans l'ordre ci-dessus, l'isolation est assurée. Si la transaction T1 est interrompue après sa première action, le système effacera l'effet partiel de T1 avant le début de T2 et T2 s'exécutera sur des données valides.

</p><p>Par contre, si les transactions tentent de s'exécuter simultanément et que la transaction T2 commence avant la fin de T1, on peut obtenir la suite d'actions suivante :

</p>

<ul><li>première partie de la transaction T1 : A est réduit de 10 ;</li>

<li>première partie de la transaction T2 : B est réduit de 5 ;</li>

<li>seconde partie de la transaction T2 : A est augmenté de 5 ;</li>

<li>seconde partie de la transaction T1 : B est augmenté de 10.</li></ul>

<p>Si la transaction T1 est interrompue avant sa deuxième partie, mais après la complétion de la transaction T2, le rétablissement de A à sa valeur d'avant la transaction T1 annulera l'augmentation valide de A faite par la transaction T2 et laissera la base de données dans un état corrompu parce que A sera revenu à sa valeur initiale, mais B aura été réduit de 5. Ce serait un échec d'isolation. La propriété d'isolation n'interdit pas la séquence d'actions précédente. Par contre, le système doit être muni de contrôles et de <a href="Rollback_(base_de_donn%C3%A9es)" title="Rollback (base de données)">rollbacks</a> qui assurent que, dans tous les cas, le résultat de l'exécution simultanée des transactions donne le même résultat que leur exécution en séquence.

</p>

<div class="mw-heading mw-heading3"><h3 id="Échec_de_durabilité"><span id=".C3.89chec_de_durabilit.C3.A9"></span>Échec de <a href="Durabilit%C3%A9_(informatique)" title="Durabilité (informatique)">durabilité</a></h3></div>

<p>Supposons qu'une transaction transfère 10 de A à B. Supposons qu'une confirmation de la transaction est envoyée à l'utilisateur après l'instruction d'écriture sur disque des nouvelles valeurs de A et B, mais avant que le contenu du tampon du disque soit transféré au disque. Supposons aussi qu'une panne d'électricité se produise entre la confirmation et le transfert du tampon au disque et supposons aussi que le système n'a aucune façon de recréer les valeurs de A et B. Nous avons alors un échec de durabilité parce que l'utilisateur a reçu une confirmation, mais que l'effet de la transaction est perdu.

</p>

<div class="mw-heading mw-heading2"><h2 id="Références"><span id="R.C3.A9f.C3.A9rences"></span>Références</h2></div>

<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a> </span><span class="reference-text"><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> <span class="noarchive">« <a rel="nofollow" class="external text" href="https://web.archive.org/web/20090206084720/http://www.microsoft.com/presspass/features/1998/11-23gray.mspx">Gray to be Honored With A. M. Turing Award This Spring</a> »</span>, Microsoft PressPass, <time class="nowrap" datetime="1998-11-23" data-sort-value="1998-11-23">23 novembre 1998</time> <small>(version du <time class="nowrap" datetime="2009-02-06" data-sort-value="2009-02-06">6 février 2009</time> sur <i><a href="Internet_Archive" title="Internet Archive">Internet Archive</a></i>)</small></span>

</li>

<li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a> </span><span class="reference-text"><span class="ouvrage" id="HärderReuter1983"><span class="ouvrage" id="Theo_HärderAndreas_Reuter1983"><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> Theo <span class="nom_auteur">Härder</span> et Andreas <span class="nom_auteur">Reuter</span>, « <cite style="font-style:normal" lang="en">Principles of Transaction-Oriented Database Recovery</cite> », <i><span class="lang-en" lang="en"><a href="ACM_Computing_Surveys" title="ACM Computing Surveys">ACM Computing Surveys</a></span></i>, <abbr class="abbr" title="volume">vol.</abbr> 15, <abbr class="abbr" title="numéro">n<sup>o</sup></abbr> 4,‎ <time class="nowrap" datetime="1983-12" data-sort-value="1983-12">décembre 1983</time>, <abbr class="abbr" title="pages">p.</abbr> <span class="nowrap">287–317</span> <small style="line-height:1em;">(<a href="Digital_Object_Identifier" title="Digital Object Identifier">DOI</a> <span class=" noarchive nowrap"><a rel="nofollow" class="external text" href="https://dx.doi.org/10.1145/289.291">10.1145/289.291</a></span>, <a rel="nofollow" class="external text" href="http://portal.acm.org/ft_gateway.cfm?id=291&type=pdf&coll=GUIDE&dl=GUIDE&CFID=18545439&CFTOKEN=99113095">lire en ligne</a> <abbr class="abbr indicateur-format format-pdf" title="Document au format Portable Document Format (PDF) d'Adobe">[PDF]</abbr>, consulté le <time class="nowrap" datetime="2009-01-16" data-sort-value="2009-01-16">16 janvier 2009</time>)</small><span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Principles+of+Transaction-Oriented+Database+Recovery&rft.jtitle=ACM+Computing+Surveys&rft.issue=4&rft.aulast=H%C3%A4rder&rft.aufirst=Theo&rft.au=Reuter%2C+Andreas&rft.date=1983-12&rft.volume=15&rft.pages=287%E2%80%93317&rft_id=info%3Adoi%2F10.1145%2F289.291&rft_id=http%3A%2F%2Fportal.acm.org%2Fft_gateway.cfm%3Fid%3D291%26type%3Dpdf%26coll%3DGUIDE%26dl%3DGUIDE%26CFID%3D18545439%26CFTOKEN%3D99113095&rfr_id=info%3Asid%2Ffr.wikipedia.org%3APropri%C3%A9t%C3%A9s+ACID"></span></span></span> :<blockquote><p>« <span class="lang-en" lang="en">These four properties, atomicity, consistency, isolation, and durability (ACID), describe the major highlights of the transaction paradigm, which has influenced many aspects of development in database systems.</span> »</p></blockquote></span>

</li>

<li id="cite_note-3"><span class="mw-cite-backlink"><a href="#cite_ref-3">↑</a> </span><span class="reference-text"><span class="ouvrage" id="Beal2003"><span class="ouvrage" id="Vangie_Beal2003"><abbr class="abbr indicateur-langue" title="Langue : anglais américain">(en-US)</abbr> Vangie <span class="nom_auteur">Beal</span>, « <a rel="nofollow" class="external text" href="https://www.webopedia.com/definitions/atomic-operation/"><cite style="font-style:normal;" lang="en-us">What is Atomic Operation?</cite></a> », sur <span class="italique">Webopedia</span>, <time class="nowrap" datetime="2003-11-25" data-sort-value="2003-11-25">25 novembre 2003</time> <small style="line-height:1em;">(consulté le <time class="nowrap" datetime="2023-01-23" data-sort-value="2023-01-23">23 janvier 2023</time>)</small></span></span></span>

</li>

<li id="cite_note-4"><span class="mw-cite-backlink"><a href="#cite_ref-4">↑</a> </span><span class="reference-text"><span class="ouvrage" id="Date2011,_2012"><span class="ouvrage" id="C._J._Date2011,_2012"><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> C. J. <span class="nom_auteur">Date</span>, <cite class="italique" lang="en">SQL and relational theory : how to write accurate SQL code</cite>, Sebastopol, CA, <a href="O'Reilly_Media" title="O'Reilly Media">O'Reilly</a>, <abbr class="abbr" title="collection">coll.</abbr> « Theory in practice », 2011, 2012, <abbr class="abbr" title="deuxième">2<sup>e</sup></abbr> <abbr class="abbr" title="édition">éd.</abbr> <small style="line-height:1em;">(<a href="International_Standard_Book_Number" title="International Standard Book Number">ISBN</a> <span class="nowrap">978-1-449-31975-5</span>, <span class="nowrap">978-1-449-31974-8</span> et <span class="nowrap">978-1-449-31640-2</span>, <a href="Online_Computer_Library_Center" title="Online Computer Library Center">OCLC</a> <span class=" noarchive nowrap"><a rel="nofollow" class="external text" href="https://worldcat.org/fr/title/780680538">780680538</a></span>, <a rel="nofollow" class="external text" href="https://books.google.fr/books?id=Ew06OZtjuJEC&printsec=frontcover&hl=fr&source=gbs_ViewAPI&redir_esc=y#v=onepage&q&f=false">lire en ligne</a>)</small>, <abbr class="abbr" title="page">p.</abbr> 180<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=SQL+and+relational+theory+%3A+how+to+write+accurate+SQL+code&rft.place=Sebastopol%2C+CA&rft.pub=O%27Reilly&rft.edition=2&rft.aulast=Date&rft.aufirst=C.+J.&rft.date=2012&rft.pages=180&rft.isbn=978-1-449-31975-5&rft_id=info%3Aoclcnum%2F780680538&rft_id=https%3A%2F%2Fbooks.google.fr%2Fbooks%3Fid%3DEw06OZtjuJEC%26printsec%3Dfrontcover%26hl%3Dfr%26source%3Dgbs_ViewAPI%26redir_esc%3Dy%23v%3Donepage%26q%26f%3Dfalse&rfr_id=info%3Asid%2Ffr.wikipedia.org%3APropri%C3%A9t%C3%A9s+ACID"></span></span></span></span>

</li>

<li id="cite_note-5"><span class="mw-cite-backlink"><a href="#cite_ref-5">↑</a> </span><span class="reference-text"><span class="ouvrage" id="Archiveddocs"><abbr class="abbr indicateur-langue" title="Langue : anglais américain">(en-US)</abbr> <span class="nom_auteur">Archiveddocs</span>, « <a rel="nofollow" class="external text" href="https://learn.microsoft.com/en-us/previous-versions/sql/sql-server-2008-r2/ms189122(v=sql.105)"><cite style="font-style:normal;" lang="en-us">Isolation Levels in the Database Engine</cite></a> », sur <span class="italique">learn.microsoft.com</span> <small style="line-height:1em;">(consulté le <time class="nowrap" datetime="2023-01-23" data-sort-value="2023-01-23">23 janvier 2023</time>)</small></span></span>

</li>

</ol></div>

<div class="mw-heading mw-heading2"><h2 id="Source">Source</h2></div>

<ul><li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé <span class="">« <a class="external text" href="https://en.wikipedia.org/wiki/ACID?oldid=539642457">ACID</a> » <small>(<a class="external text" href="https://en.wikipedia.org/wiki/ACID?action=history">voir la liste des auteurs</a>)</small></span>.</li></ul>

</div>

<ul id="bandeau-portail" class="bandeau-portail"><li><span class="bandeau-portail-element"><span class="bandeau-portail-icone"><span class="noviewer" typeof="mw:File"></span></span> <span class="bandeau-portail-texte">Portail de l’informatique</span> </span></li> <li><span class="bandeau-portail-element"><span class="bandeau-portail-icone"><span class="noviewer" typeof="mw:File"></span></span> <span class="bandeau-portail-texte">Portail des bases de données</span> </span></li> </ul></div><div><div class="zim-footer">

Cet article est issu de <a class="external text" title="Dernière modification le 2025-09-12" href="https://fr.wikipedia.org/wiki/?title=Propri%C3%A9t%C3%A9s_ACID&oldid=228921687">Wikipédia</a>. Sauf mention contraire, le texte est disponible sous <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr">Creative Commons Attribution-Share Alike 4.0</a>. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.

</div>

</div></div>

</div>

</main>

</div>

</body></html>